/*-------------------------------------------------------------------------
 *
 * funcapi.c
 *	  返回集合和/或复合类型，或处理 VARIADIC 输入的 fmgr 函数的实用和便利函数。
 *
 * Copyright (c) 2002-2022, PostgreSQL Global Development Group
 *
 * IDENTIFICATION
 *	  src/backend/utils/fmgr/funcapi.c
 *
 *-------------------------------------------------------------------------
 */
#include "postgres.h"

#include "access/htup_details.h"
#include "access/relation.h"
#include "catalog/namespace.h"
#include "catalog/pg_proc.h"
#include "catalog/pg_type.h"
#include "funcapi.h"
#include "miscadmin.h"
#include "nodes/nodeFuncs.h"
#include "utils/array.h"
#include "utils/builtins.h"
#include "utils/lsyscache.h"
#include "utils/memutils.h"
#include "utils/regproc.h"
#include "utils/rel.h"
#include "utils/syscache.h"
#include "utils/tuplestore.h"
#include "utils/typcache.h"


typedef struct polymorphic_actuals
{
	Oid			anyelement_type;	/* 任意元素映射，如果已知 */
	Oid			anyarray_type;	/* 任意数组映射，如果已知 */
	Oid			anyrange_type;	/* 任意范围映射，如果已知 */
	Oid			anymultirange_type; /* 任意多范围映射，如果已知 */
} polymorphic_actuals;

static void fc_shutdown_MultiFuncCall(Datum fc_arg);
static TypeFuncClass fc_internal_get_result_type(Oid fc_funcid,
											  Node *fc_call_expr,
											  ReturnSetInfo *fc_rsinfo,
											  Oid *fc_resultTypeId,
											  TupleDesc *fc_resultTupleDesc);
static void fc_resolve_anyelement_from_others(polymorphic_actuals *fc_actuals);
static void fc_resolve_anyarray_from_others(polymorphic_actuals *fc_actuals);
static void fc_resolve_anyrange_from_others(polymorphic_actuals *fc_actuals);
static void fc_resolve_anymultirange_from_others(polymorphic_actuals *fc_actuals);
static bool fc_resolve_polymorphic_tupdesc(TupleDesc fc_tupdesc,
										oidvector *fc_declared_args,
										Node *fc_call_expr);
static TypeFuncClass get_type_func_class(Oid fc_typid, Oid *fc_base_typeid);


/*
 * v15的兼容性函数。
 */
void SetSingleFuncCall(FunctionCallInfo fcinfo, bits32 fc_flags)
{
	InitMaterializedSRF(fcinfo, fc_flags);
}

/*
 * InitMaterializedSRF
 *
 * 构建一个用于单次调用的集返回函数的状态的辅助函数，采用物化模式。此代码
 * 包含对ReturnSetInfo的合理性检查，创建与函数一起使用的Tuplestore和
 * TupleDesc，并将它们存储到函数的ReturnSetInfo中。
 *
 * 可以将“flags”设置为MAT_SRF_USE_EXPECTED_DESC，以使用来自expectedDesc的元组描述符，
 * 这是调用者期望的元组描述符。可以将MAT_SRF_BLESS设置为完成
 * 与元组描述符相关的信息，这在某些情况中是必要的，例如元组描述符来自瞬态
 * RECORD数据类型的情况。
 */
void InitMaterializedSRF(FunctionCallInfo fcinfo, bits32 fc_flags)
{
	bool		fc_random_access;
	ReturnSetInfo *fc_rsinfo = (ReturnSetInfo *) fcinfo->resultinfo;
	Tuplestorestate *fc_tupstore;
	MemoryContext fc_old_context,
				fc_per_query_ctx;
	TupleDesc	fc_stored_tupdesc;

	/* 检查调用者是否支持返回Tuplestore */
	if (fc_rsinfo == NULL || !IsA(fc_rsinfo, ReturnSetInfo))
		ereport(ERROR,
				(errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
				 errmsg("set-valued function called in context that cannot accept a set")));
	if (!(fc_rsinfo->allowedModes & SFRM_Materialize) ||
		((fc_flags & MAT_SRF_USE_EXPECTED_DESC) != 0 && fc_rsinfo->expectedDesc == NULL))
		ereport(ERROR,
				(errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
				 errmsg("materialize mode required, but it is not allowed in this context")));

	/*
	 * 在ReturnSetInfo中存储tuplestore和元组描述符。必须在每个查询的内存上下文中执行。
	 */
	fc_per_query_ctx = fc_rsinfo->econtext->ecxt_per_query_memory;
	fc_old_context = MemoryContextSwitchTo(fc_per_query_ctx);

	/* 为我们的结果类型构建元组描述符 */
	if ((fc_flags & MAT_SRF_USE_EXPECTED_DESC) != 0)
		fc_stored_tupdesc = CreateTupleDescCopy(fc_rsinfo->expectedDesc);
	else
	{
		if (get_call_result_type(fcinfo, NULL, &fc_stored_tupdesc) != TYPEFUNC_COMPOSITE)
			elog(ERROR, "return type must be a row type");
	}

	/* 如有请求，对元组描述符进行祝福 */
	if ((fc_flags & MAT_SRF_BLESS) != 0)
		BlessTupleDesc(fc_stored_tupdesc);

	fc_random_access = (fc_rsinfo->allowedModes & SFRM_Materialize_Random) != 0;

	fc_tupstore = tuplestore_begin_heap(fc_random_access, false, work_mem);
	fc_rsinfo->returnMode = SFRM_Materialize;
	fc_rsinfo->setResult = fc_tupstore;
	fc_rsinfo->setDesc = fc_stored_tupdesc;
	MemoryContextSwitchTo(fc_old_context);
}


/*
 * init_MultiFuncCall
 * 创建一个空的FuncCallContext数据结构
 * 并进行一些其他基本的多功能调用设置
 * 和错误检查
 */
FuncCallContext *
init_MultiFuncCall(PG_FUNCTION_ARGS)
{
	FuncCallContext *fc_retval;

	/*
	 * 如果在错误的上下文中被调用则退出
	 */
	if (fcinfo->resultinfo == NULL || !IsA(fcinfo->resultinfo, ReturnSetInfo))
		ereport(ERROR,
				(errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
				 errmsg("set-valued function called in context that cannot accept a set")));

	if (fcinfo->flinfo->fn_extra == NULL)
	{
		/*
		 * 第一次调用
		 */
		ReturnSetInfo *fc_rsi = (ReturnSetInfo *) fcinfo->resultinfo;
		MemoryContext fc_multi_call_ctx;

		/*
		 * 创建一个适当地长期存在的上下文来保存跨调用的数据
		 */
		fc_multi_call_ctx = AllocSetContextCreate(fcinfo->flinfo->fn_mcxt,
											   "SRF multi-call context",
											   ALLOCSET_SMALL_SIZES);

		/*
		 * 分配适当地长期存在的空间并将其清零
		 */
		fc_retval = (FuncCallContext *)
			MemoryContextAllocZero(fc_multi_call_ctx,
								   sizeof(FuncCallContext));

		/*
		 * 初始化元素
		 */
		fc_retval->call_cntr = 0;
		fc_retval->max_calls = 0;
		fc_retval->user_fctx = NULL;
		fc_retval->attinmeta = NULL;
		fc_retval->tuple_desc = NULL;
		fc_retval->multi_call_memory_ctx = fc_multi_call_ctx;

		/*
		 * 保存指针以便跨调用使用
		 */
		fcinfo->flinfo->fn_extra = fc_retval;

		/*
		 * 确保如果exprcontext没有完全运行，我们将干净地关闭。
		 */
		RegisterExprContextCallback(fc_rsi->econtext,
									fc_shutdown_MultiFuncCall,
									PointerGetDatum(fcinfo->flinfo));
	}
	else
	{
		/* 第二次及后续调用 */
		elog(ERROR, "init_MultiFuncCall cannot be called more than once");

		/* 永远不会到达，但保持编译器快乐 */
		fc_retval = NULL;
	}

	return fc_retval;
}

/*
 * per_MultiFuncCall
 *
 * 执行每个调用的多功能设置
 */
FuncCallContext *
per_MultiFuncCall(PG_FUNCTION_ARGS)
{
	FuncCallContext *fc_retval = (FuncCallContext *) fcinfo->flinfo->fn_extra;

	return fc_retval;
}

/*
 * end_MultiFuncCall
 * 在init_MultiFuncCall之后进行清理
 */
void end_MultiFuncCall(PG_FUNCTION_ARGS, FuncCallContext *fc_funcctx)
{
	ReturnSetInfo *fc_rsi = (ReturnSetInfo *) fcinfo->resultinfo;

	/* 取消注册关闭回调 */
	UnregisterExprContextCallback(fc_rsi->econtext,
								  fc_shutdown_MultiFuncCall,
								  PointerGetDatum(fcinfo->flinfo));

	/* 但用它来执行实际工作 */
	fc_shutdown_MultiFuncCall(PointerGetDatum(fcinfo->flinfo));
}

/*
 * shutdown_MultiFuncCall
 * 关闭函数以在init_MultiFuncCall之后进行清理
 */
static void fc_shutdown_MultiFuncCall(Datum fc_arg)
{
	FmgrInfo   *fc_flinfo = (FmgrInfo *) DatumGetPointer(fc_arg);
	FuncCallContext *fc_funcctx = (FuncCallContext *) fc_flinfo->fn_extra;

	/* 从flinfo解除绑定 */
	fc_flinfo->fn_extra = NULL;

	/*
	 * 删除持有所有多调用数据的上下文，包括FuncCallContext本身
	 */
	MemoryContextDelete(fc_funcctx->multi_call_memory_ctx);
}


/*
 * get_call_result_type
 *		给定函数的调用信息记录，确定它应该返回的
 *		数据类型。如果resultTypeId不是NULL，*resultTypeId
 *		接收实际的数据类型OID（这主要对标量结果类型有用）。
 *		如果resultTupleDesc不是NULL，*resultTupleDesc
 *		接收指向TupleDesc的指针，当结果是复合类型时，
 *		或在结果是标量结果时为NULL。
 *
 * 此函数处理的一个难点是解析返回RECORD的函数的实际行类型
 * （来自函数的OUT参数列表，或ReturnSetInfo上下文节点）。
 * 只有在缺乏信息时，我们才会返回TYPEFUNC_RECORD。
 *
 * 此函数处理的另一个难点是解析多态性。
 * 我们绝不会返回多态伪类型（ANYELEMENT等），无论是作为标量结果类型
 * 还是作为行类型的组件。
 *
 * 这个函数相对昂贵——在返回集的函数中，尽量只在第一次调用时调用它。
 */
TypeFuncClass get_call_result_type(FunctionCallInfo fcinfo,
					 Oid *fc_resultTypeId,
					 TupleDesc *fc_resultTupleDesc)
{
	return fc_internal_get_result_type(fcinfo->flinfo->fn_oid,
									fcinfo->flinfo->fn_expr,
									(ReturnSetInfo *) fcinfo->resultinfo,
									fc_resultTypeId,
									fc_resultTupleDesc);
}

/*
 * get_expr_result_type
 *		与上面类似，但基于调用表达式节点树工作
 *
 * 注意在具有coldeflist的RTE的funcexpr上使用此函数的风险。
 * 在这种情况下正确的结论始终是函数返回
 * RECORD，列由coldeflist字段（funccolnames等）定义。
 * 如果没有，执行器有责任在运行时捕获这种差异；
 * 但是，在该点之前处理查询的代码可能会因检查实际表达式而得出不一致的结论。
 */
TypeFuncClass get_expr_result_type(Node *fc_expr,
					 Oid *fc_resultTypeId,
					 TupleDesc *fc_resultTupleDesc)
{
	TypeFuncClass fc_result;

	if (fc_expr && IsA(fc_expr, FuncExpr))
		fc_result = fc_internal_get_result_type(((FuncExpr *) fc_expr)->funcid,
										  fc_expr,
										  NULL,
										  fc_resultTypeId,
										  fc_resultTupleDesc);
	else if (fc_expr && IsA(fc_expr, OpExpr))
		fc_result = fc_internal_get_result_type(get_opcode(((OpExpr *) fc_expr)->opno),
										  fc_expr,
										  NULL,
										  fc_resultTypeId,
										  fc_resultTupleDesc);
	else if (fc_expr && IsA(fc_expr, RowExpr) &&
			 ((RowExpr *) fc_expr)->row_typeid == RECORDOID)
	{
		/* 我们可以通过直接生成tupdesc来解析记录类型 */
		RowExpr    *fc_rexpr = (RowExpr *) fc_expr;
		TupleDesc	fc_tupdesc;
		AttrNumber	fc_i = 1;
		ListCell   *fc_lcc,
				   *fc_lcn;

		fc_tupdesc = CreateTemplateTupleDesc(list_length(fc_rexpr->args));
		Assert(list_length(fc_rexpr->args) == list_length(fc_rexpr->colnames));
		forboth(fc_lcc, fc_rexpr->args, fc_lcn, fc_rexpr->colnames)
		{
			Node	   *fc_col = (Node *) lfirst(fc_lcc);
			char	   *fc_colname = strVal(lfirst(fc_lcn));

			TupleDescInitEntry(fc_tupdesc, fc_i,
							   fc_colname,
							   exprType(fc_col),
							   exprTypmod(fc_col),
							   0);
			TupleDescInitEntryCollation(fc_tupdesc, fc_i,
										exprCollation(fc_col));
			fc_i++;
		}
		if (fc_resultTypeId)
			*fc_resultTypeId = fc_rexpr->row_typeid;
		if (fc_resultTupleDesc)
			*fc_resultTupleDesc = BlessTupleDesc(fc_tupdesc);
		return TYPEFUNC_COMPOSITE;
	}
	else if (fc_expr && IsA(fc_expr, Const) &&
			 ((Const *) fc_expr)->consttype == RECORDOID &&
			 !((Const *) fc_expr)->constisnull)
	{
		/*
		 * 在EXPLAIN一些带有SEARCH/CYCLE子句的查询时，我们可能
		 * 需要解析RECORD类型的Const的字段名。 datum
		 * 应该包含一个typmod，这将告诉我们这一点。
		 */
		HeapTupleHeader fc_rec;
		Oid			fc_tupType;
		int32		fc_tupTypmod;

		fc_rec = DatumGetHeapTupleHeader(((Const *) fc_expr)->constvalue);
		fc_tupType = HeapTupleHeaderGetTypeId(fc_rec);
		fc_tupTypmod = HeapTupleHeaderGetTypMod(fc_rec);
		if (fc_resultTypeId)
			*fc_resultTypeId = fc_tupType;
		if (fc_tupType != RECORDOID || fc_tupTypmod >= 0)
		{
			/* 应该能够查阅 */
			if (fc_resultTupleDesc)
				*fc_resultTupleDesc = lookup_rowtype_tupdesc_copy(fc_tupType,
															   fc_tupTypmod);
			return TYPEFUNC_COMPOSITE;
		}
		else
		{
			/* 这实际上不应该发生... */
			if (fc_resultTupleDesc)
				*fc_resultTupleDesc = NULL;
			return TYPEFUNC_RECORD;
		}
	}
	else
	{
		/* 作为通用表达式处理；没有机会解析RECORD */
		Oid			fc_typid = exprType(fc_expr);
		Oid			fc_base_typid;

		if (fc_resultTypeId)
			*fc_resultTypeId = fc_typid;
		if (fc_resultTupleDesc)
			*fc_resultTupleDesc = NULL;
		fc_result = get_type_func_class(fc_typid, &fc_base_typid);
		if ((fc_result == TYPEFUNC_COMPOSITE ||
			 fc_result == TYPEFUNC_COMPOSITE_DOMAIN) &&
			fc_resultTupleDesc)
			*fc_resultTupleDesc = lookup_rowtype_tupdesc_copy(fc_base_typid, -1);
	}

	return fc_result;
}

/*
 * get_func_result_type
 *		如上所述，但仅从函数的OID工作
 *
 * 这将无法解析纯RECORD结果或多态性。
 */
TypeFuncClass get_func_result_type(Oid fc_functionId,
					 Oid *fc_resultTypeId,
					 TupleDesc *fc_resultTupleDesc)
{
	return fc_internal_get_result_type(fc_functionId,
									NULL,
									NULL,
									fc_resultTypeId,
									fc_resultTupleDesc);
}

/*
 * internal_get_result_type -- 实现上述所有的主要代码
 *
 * funcid必须始终提供。如果call_expr和rsinfo不可用，则可以为NULL。
 * 如果我们无法根据可用信息推断出完整的结果行类型，则将返回TYPEFUNC_RECORD，并将NULL存储到
 * *resultTupleDesc中。
 */
static TypeFuncClass
fc_internal_get_result_type(Oid fc_funcid,
						 Node *fc_call_expr,
						 ReturnSetInfo *fc_rsinfo,
						 Oid *fc_resultTypeId,
						 TupleDesc *fc_resultTupleDesc)
{
	TypeFuncClass fc_result;
	HeapTuple	fc_tp;
	Form_pg_proc fc_procform;
	Oid			fc_rettype;
	Oid			fc_base_rettype;
	TupleDesc	fc_tupdesc;

	/* 首先获取函数的pg_proc行以检查其rettype */
	fc_tp = SearchSysCache1(PROCOID, ObjectIdGetDatum(fc_funcid));
	if (!HeapTupleIsValid(fc_tp))
		elog(ERROR, "cache lookup failed for function %u", fc_funcid);
	fc_procform = (Form_pg_proc) GETSTRUCT(fc_tp);

	fc_rettype = fc_procform->prorettype;

	/* 检查OUT参数以定义RECORD结果 */
	fc_tupdesc = build_function_result_tupdesc_t(fc_tp);
	if (fc_tupdesc)
	{
		/*
		 * 它有OUT参数，因此基本上就像一个常规复合
		 * 类型，只是我们必须能够解析任何多态的OUT
		 * 参数。
		 */
		if (fc_resultTypeId)
			*fc_resultTypeId = fc_rettype;

		if (fc_resolve_polymorphic_tupdesc(fc_tupdesc,
										&fc_procform->proargtypes,
										fc_call_expr))
		{
			if (fc_tupdesc->tdtypeid == RECORDOID &&
				fc_tupdesc->tdtypmod < 0)
				assign_record_type_typmod(fc_tupdesc);
			if (fc_resultTupleDesc)
				*fc_resultTupleDesc = fc_tupdesc;
			fc_result = TYPEFUNC_COMPOSITE;
		}
		else
		{
			if (fc_resultTupleDesc)
				*fc_resultTupleDesc = NULL;
			fc_result = TYPEFUNC_RECORD;
		}

		ReleaseSysCache(fc_tp);

		return fc_result;
	}

	/*
	 * 如果是标量多态结果，尝试解析它。
	 */
	if (IsPolymorphicType(fc_rettype))
	{
		Oid			fc_newrettype = exprType(fc_call_expr);

		if (fc_newrettype == InvalidOid)	/* 这可能不应该发生 */
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("could not determine actual result type for function \"%s\" declared to return type %s",
							NameStr(fc_procform->proname),
							format_type_be(fc_rettype))));
		fc_rettype = fc_newrettype;
	}

	if (fc_resultTypeId)
		*fc_resultTypeId = fc_rettype;
	if (fc_resultTupleDesc)
		*fc_resultTupleDesc = NULL;	/* 默认结果 */

	/* 分类结果类型 */
	fc_result = get_type_func_class(fc_rettype, &fc_base_rettype);
	switch (fc_result)
	{
		case TYPEFUNC_COMPOSITE:
		case TYPEFUNC_COMPOSITE_DOMAIN:
			if (fc_resultTupleDesc)
				*fc_resultTupleDesc = lookup_rowtype_tupdesc_copy(fc_base_rettype, -1);
			/* 命名复合类型不能有任何多态列 */
			break;
		case TYPEFUNC_SCALAR:
			break;
		case TYPEFUNC_RECORD:
			/* 我们必须从调用上下文中获取元组描述 */
			if (fc_rsinfo && IsA(fc_rsinfo, ReturnSetInfo) &&
				fc_rsinfo->expectedDesc != NULL)
			{
				fc_result = TYPEFUNC_COMPOSITE;
				if (fc_resultTupleDesc)
					*fc_resultTupleDesc = fc_rsinfo->expectedDesc;
				/* 这里也假设没有多态列 */
			}
			break;
		default:
			break;
	}

	ReleaseSysCache(fc_tp);

	return fc_result;
}

/*
 * get_expr_result_tupdesc
 *		获取描述复合值表达式结果的tupdesc
 *
 * 如果表达式不是复合类型或者无法确定行类型，则返回NULL
 * 如果noError为true，其他情况下抛出错误。
 *
 * 这是一个更简单的版本的get_expr_result_type()，用于当调用者
 * 只对确定的行类型结果感兴趣时。与该函数一样，
 * 小心在具有coldeflist的RTE的funcexpr上使用此方法。
 */
TupleDesc get_expr_result_tupdesc(Node *fc_expr, bool fc_noError)
{
	TupleDesc	fc_tupleDesc;
	TypeFuncClass fc_functypclass;

	fc_functypclass = get_expr_result_type(fc_expr, NULL, &fc_tupleDesc);

	if (fc_functypclass == TYPEFUNC_COMPOSITE ||
		fc_functypclass == TYPEFUNC_COMPOSITE_DOMAIN)
		return fc_tupleDesc;

	if (!fc_noError)
	{
		Oid			fc_exprTypeId = exprType(fc_expr);

		if (fc_exprTypeId != RECORDOID)
			ereport(ERROR,
					(errcode(ERRCODE_WRONG_OBJECT_TYPE),
					 errmsg("type %s is not composite",
							format_type_be(fc_exprTypeId))));
		else
			ereport(ERROR,
					(errcode(ERRCODE_WRONG_OBJECT_TYPE),
					 errmsg("record type has not been registered")));
	}

	return NULL;
}

/*
 * 解析ANYELEMENT的实际类型来自其他多态输入
 *
 * 注意：这里和下面兄弟函数中的错误案例并不是真正面对用户的；
 * 它们只会在函数签名不正确或解析器未能强制执行实际
 * 参数类型的一致性时发生。因此，我们不会太过担心错误消息。
 */
static void fc_resolve_anyelement_from_others(polymorphic_actuals *fc_actuals)
{
	if (OidIsValid(fc_actuals->anyarray_type))
	{
		/* 使用与实际类型对应的元素类型 */
		Oid			fc_array_base_type = getBaseType(fc_actuals->anyarray_type);
		Oid			fc_array_typelem = get_element_type(fc_array_base_type);

		if (!OidIsValid(fc_array_typelem))
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("argument declared %s is not an array but type %s",
							"anyarray",
							format_type_be(fc_array_base_type))));
		fc_actuals->anyelement_type = fc_array_typelem;
	}
	else if (OidIsValid(fc_actuals->anyrange_type))
	{
		/* 使用与实际类型对应的元素类型 */
		Oid			fc_range_base_type = getBaseType(fc_actuals->anyrange_type);
		Oid			fc_range_typelem = get_range_subtype(fc_range_base_type);

		if (!OidIsValid(fc_range_typelem))
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("argument declared %s is not a range type but type %s",
							"anyrange",
							format_type_be(fc_range_base_type))));
		fc_actuals->anyelement_type = fc_range_typelem;
	}
	else if (OidIsValid(fc_actuals->anymultirange_type))
	{
		/* 根据多范围类型使用元素类型 */
		Oid			fc_multirange_base_type;
		Oid			fc_multirange_typelem;
		Oid			fc_range_base_type;
		Oid			fc_range_typelem;

		fc_multirange_base_type = getBaseType(fc_actuals->anymultirange_type);
		fc_multirange_typelem = get_multirange_range(fc_multirange_base_type);
		if (!OidIsValid(fc_multirange_typelem))
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("argument declared %s is not a multirange type but type %s",
							"anymultirange",
							format_type_be(fc_multirange_base_type))));

		fc_range_base_type = getBaseType(fc_multirange_typelem);
		fc_range_typelem = get_range_subtype(fc_range_base_type);

		if (!OidIsValid(fc_range_typelem))
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("argument declared %s does not contain a range type but type %s",
							"anymultirange",
							format_type_be(fc_range_base_type))));
		fc_actuals->anyelement_type = fc_range_typelem;
	}
	else
		elog(ERROR, "could not determine polymorphic type");
}

/*
 * 解析ANYARRAY的实际类型来自其他多态输入
 */
static void fc_resolve_anyarray_from_others(polymorphic_actuals *fc_actuals)
{
	/* 如果我们不知道ANYELEMENT，先解析它 */
	if (!OidIsValid(fc_actuals->anyelement_type))
		fc_resolve_anyelement_from_others(fc_actuals);

	if (OidIsValid(fc_actuals->anyelement_type))
	{
		/* 使用与实际类型对应的数组类型 */
		Oid			fc_array_typeid = get_array_type(fc_actuals->anyelement_type);

		if (!OidIsValid(fc_array_typeid))
			ereport(ERROR,
					(errcode(ERRCODE_UNDEFINED_OBJECT),
					 errmsg("could not find array type for data type %s",
							format_type_be(fc_actuals->anyelement_type))));
		fc_actuals->anyarray_type = fc_array_typeid;
	}
	else
		elog(ERROR, "could not determine polymorphic type");
}

/*
 * 解析ANYRANGE的实际类型来自其他多态输入
 */
static void fc_resolve_anyrange_from_others(polymorphic_actuals *fc_actuals)
{
	/*
	 * 我们无法从其他多态数组或基本类型推断出范围类型，
	 * 因为可能有多个范围类型具有相同的子类型，
	 * 但我们可以从多态多范围类型推断出它。
	 */
	if (OidIsValid(fc_actuals->anymultirange_type))
	{
		/* 根据多范围类型使用元素类型 */
		Oid			fc_multirange_base_type = getBaseType(fc_actuals->anymultirange_type);
		Oid			fc_multirange_typelem = get_multirange_range(fc_multirange_base_type);

		if (!OidIsValid(fc_multirange_typelem))
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("argument declared %s is not a multirange type but type %s",
							"anymultirange",
							format_type_be(fc_multirange_base_type))));
		fc_actuals->anyrange_type = fc_multirange_typelem;
	}
	else
		elog(ERROR, "could not determine polymorphic type");
}

/*
 * 解析ANYMULTIRANGE的实际类型来自其他多态输入
 */
static void fc_resolve_anymultirange_from_others(polymorphic_actuals *fc_actuals)
{
	/*
	 * 我们无法从多态数组或基本类型推断出多范围类型，
	 * 因为可能有多个范围类型具有相同的子类型，但我们
	 * 可以从多态范围类型推断出它。
	 */
	if (OidIsValid(fc_actuals->anyrange_type))
	{
		Oid			fc_range_base_type = getBaseType(fc_actuals->anyrange_type);
		Oid			fc_multirange_typeid = get_range_multirange(fc_range_base_type);

		if (!OidIsValid(fc_multirange_typeid))
			ereport(ERROR,
					(errcode(ERRCODE_UNDEFINED_OBJECT),
					 errmsg("could not find multirange type for data type %s",
							format_type_be(fc_actuals->anyrange_type))));
		fc_actuals->anymultirange_type = fc_multirange_typeid;
	}
	else
		elog(ERROR, "could not determine polymorphic type");
}

/*
 * 给定具有OUT参数的函数的结果元组描述，
 * 用从输入参数推断得出的具体数据类型替换元组描述中的任何多态列类型
 * (如ANYELEMENT等)。
 * declared_args是函数声明的输入参数类型的oidvector
 * （显示哪些是多态的），call_expr是调用表达式。
 *
 * 如果能够推断出所有类型，则返回true；如果必要的信息
 * 没有提供（call_expr为NULL或参数类型无法识别），则返回false。
 */
static bool fc_resolve_polymorphic_tupdesc(TupleDesc fc_tupdesc, oidvector *fc_declared_args,
							Node *fc_call_expr)
{
	int			fc_natts = fc_tupdesc->natts;
	int			fc_nargs = fc_declared_args->dim1;
	bool		fc_have_polymorphic_result = false;
	bool		fc_have_anyelement_result = false;
	bool		fc_have_anyarray_result = false;
	bool		fc_have_anyrange_result = false;
	bool		fc_have_anymultirange_result = false;
	bool		fc_have_anycompatible_result = false;
	bool		fc_have_anycompatible_array_result = false;
	bool		fc_have_anycompatible_range_result = false;
	bool		fc_have_anycompatible_multirange_result = false;
	polymorphic_actuals fc_poly_actuals;
	polymorphic_actuals fc_anyc_actuals;
	Oid			fc_anycollation = InvalidOid;
	Oid			fc_anycompatcollation = InvalidOid;
	int			fc_i;

	/* 查看是否有任何多态输出；如果没有，快速退出 */
	for (fc_i = 0; fc_i < fc_natts; fc_i++)
	{
		switch (TupleDescAttr(fc_tupdesc, fc_i)->atttypid)
		{
			case ANYELEMENTOID:
			case ANYNONARRAYOID:
			case ANYENUMOID:
				fc_have_polymorphic_result = true;
				fc_have_anyelement_result = true;
				break;
			case ANYARRAYOID:
				fc_have_polymorphic_result = true;
				fc_have_anyarray_result = true;
				break;
			case ANYRANGEOID:
				fc_have_polymorphic_result = true;
				fc_have_anyrange_result = true;
				break;
			case ANYMULTIRANGEOID:
				fc_have_polymorphic_result = true;
				fc_have_anymultirange_result = true;
				break;
			case ANYCOMPATIBLEOID:
			case ANYCOMPATIBLENONARRAYOID:
				fc_have_polymorphic_result = true;
				fc_have_anycompatible_result = true;
				break;
			case ANYCOMPATIBLEARRAYOID:
				fc_have_polymorphic_result = true;
				fc_have_anycompatible_array_result = true;
				break;
			case ANYCOMPATIBLERANGEOID:
				fc_have_polymorphic_result = true;
				fc_have_anycompatible_range_result = true;
				break;
			case ANYCOMPATIBLEMULTIRANGEOID:
				fc_have_polymorphic_result = true;
				fc_have_anycompatible_multirange_result = true;
				break;
			default:
				break;
		}
	}
	if (!fc_have_polymorphic_result)
		return true;

	/*
	 * 否则，从输入参数中提取实际数据类型。 （我们假设
	 * 解析器已经验证了参数的一致性。此外，对于
	 * ANYCOMPATIBLE伪类型系列，我们期望所有匹配的
	 * 参数都被强制转换为所选择的公共超类型，因此
	 * 不管我们查看哪个的外显类型，结果都是一样的。）
	 */
	if (!fc_call_expr)
		return false;			/* no hope */

	memset(&fc_poly_actuals, 0, sizeof(fc_poly_actuals));
	memset(&fc_anyc_actuals, 0, sizeof(fc_anyc_actuals));

	for (fc_i = 0; fc_i < fc_nargs; fc_i++)
	{
		switch (fc_declared_args->values[fc_i])
		{
			case ANYELEMENTOID:
			case ANYNONARRAYOID:
			case ANYENUMOID:
				if (!OidIsValid(fc_poly_actuals.anyelement_type))
				{
					fc_poly_actuals.anyelement_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_poly_actuals.anyelement_type))
						return false;
				}
				break;
			case ANYARRAYOID:
				if (!OidIsValid(fc_poly_actuals.anyarray_type))
				{
					fc_poly_actuals.anyarray_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_poly_actuals.anyarray_type))
						return false;
				}
				break;
			case ANYRANGEOID:
				if (!OidIsValid(fc_poly_actuals.anyrange_type))
				{
					fc_poly_actuals.anyrange_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_poly_actuals.anyrange_type))
						return false;
				}
				break;
			case ANYMULTIRANGEOID:
				if (!OidIsValid(fc_poly_actuals.anymultirange_type))
				{
					fc_poly_actuals.anymultirange_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_poly_actuals.anymultirange_type))
						return false;
				}
				break;
			case ANYCOMPATIBLEOID:
			case ANYCOMPATIBLENONARRAYOID:
				if (!OidIsValid(fc_anyc_actuals.anyelement_type))
				{
					fc_anyc_actuals.anyelement_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_anyc_actuals.anyelement_type))
						return false;
				}
				break;
			case ANYCOMPATIBLEARRAYOID:
				if (!OidIsValid(fc_anyc_actuals.anyarray_type))
				{
					fc_anyc_actuals.anyarray_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_anyc_actuals.anyarray_type))
						return false;
				}
				break;
			case ANYCOMPATIBLERANGEOID:
				if (!OidIsValid(fc_anyc_actuals.anyrange_type))
				{
					fc_anyc_actuals.anyrange_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_anyc_actuals.anyrange_type))
						return false;
				}
				break;
			case ANYCOMPATIBLEMULTIRANGEOID:
				if (!OidIsValid(fc_anyc_actuals.anymultirange_type))
				{
					fc_anyc_actuals.anymultirange_type =
						get_call_expr_argtype(fc_call_expr, fc_i);
					if (!OidIsValid(fc_anyc_actuals.anymultirange_type))
						return false;
				}
				break;
			default:
				break;
		}
	}

	/* 如果需要，从其他多态类型推断出一种多态类型 */
	if (fc_have_anyelement_result && !OidIsValid(fc_poly_actuals.anyelement_type))
		fc_resolve_anyelement_from_others(&fc_poly_actuals);

	if (fc_have_anyarray_result && !OidIsValid(fc_poly_actuals.anyarray_type))
		fc_resolve_anyarray_from_others(&fc_poly_actuals);

	if (fc_have_anyrange_result && !OidIsValid(fc_poly_actuals.anyrange_type))
		fc_resolve_anyrange_from_others(&fc_poly_actuals);

	if (fc_have_anymultirange_result && !OidIsValid(fc_poly_actuals.anymultirange_type))
		fc_resolve_anymultirange_from_others(&fc_poly_actuals);

	if (fc_have_anycompatible_result && !OidIsValid(fc_anyc_actuals.anyelement_type))
		fc_resolve_anyelement_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_array_result && !OidIsValid(fc_anyc_actuals.anyarray_type))
		fc_resolve_anyarray_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_range_result && !OidIsValid(fc_anyc_actuals.anyrange_type))
		fc_resolve_anyrange_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_multirange_result && !OidIsValid(fc_anyc_actuals.anymultirange_type))
		fc_resolve_anymultirange_from_others(&fc_anyc_actuals);

	/*
	 * 确定用于多态OUT参数的排序规则。 （它必然
	 * 对于anyelement和anyarray是相同的，同样对于
	 * anycompatible和anycompatiblearray。） 注意范围类型不
	 * 可排序，因此不会考虑范围类型的任何可能内部排序规则。
	 */
	if (OidIsValid(fc_poly_actuals.anyelement_type))
		fc_anycollation = get_typcollation(fc_poly_actuals.anyelement_type);
	else if (OidIsValid(fc_poly_actuals.anyarray_type))
		fc_anycollation = get_typcollation(fc_poly_actuals.anyarray_type);

	if (OidIsValid(fc_anyc_actuals.anyelement_type))
		fc_anycompatcollation = get_typcollation(fc_anyc_actuals.anyelement_type);
	else if (OidIsValid(fc_anyc_actuals.anyarray_type))
		fc_anycompatcollation = get_typcollation(fc_anyc_actuals.anyarray_type);

	if (OidIsValid(fc_anycollation) || OidIsValid(fc_anycompatcollation))
	{
		/*
		 * 这些类型是可以进行比较的，因此请考虑是否使用非默认
		 * 排序规则。如果我们能够识别用于函数的输入排序规则， 
		 * 我们就这样做。
		 */
		Oid			fc_inputcollation = exprInputCollation(fc_call_expr);

		if (OidIsValid(fc_inputcollation))
		{
			if (OidIsValid(fc_anycollation))
				fc_anycollation = fc_inputcollation;
			if (OidIsValid(fc_anycompatcollation))
				fc_anycompatcollation = fc_inputcollation;
		}
	}

	/* 最后根据需要替换元组列类型 */
	for (fc_i = 0; fc_i < fc_natts; fc_i++)
	{
		Form_pg_attribute fc_att = TupleDescAttr(fc_tupdesc, fc_i);

		switch (fc_att->atttypid)
		{
			case ANYELEMENTOID:
			case ANYNONARRAYOID:
			case ANYENUMOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_poly_actuals.anyelement_type,
								   -1,
								   0);
				TupleDescInitEntryCollation(fc_tupdesc, fc_i + 1, fc_anycollation);
				break;
			case ANYARRAYOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_poly_actuals.anyarray_type,
								   -1,
								   0);
				TupleDescInitEntryCollation(fc_tupdesc, fc_i + 1, fc_anycollation);
				break;
			case ANYRANGEOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_poly_actuals.anyrange_type,
								   -1,
								   0);
				/* 范围类型不应附加排序规则 */
				break;
			case ANYMULTIRANGEOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_poly_actuals.anymultirange_type,
								   -1,
								   0);
				/* 多范围类型不应附加排序规则 */
				break;
			case ANYCOMPATIBLEOID:
			case ANYCOMPATIBLENONARRAYOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_anyc_actuals.anyelement_type,
								   -1,
								   0);
				TupleDescInitEntryCollation(fc_tupdesc, fc_i + 1, fc_anycompatcollation);
				break;
			case ANYCOMPATIBLEARRAYOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_anyc_actuals.anyarray_type,
								   -1,
								   0);
				TupleDescInitEntryCollation(fc_tupdesc, fc_i + 1, fc_anycompatcollation);
				break;
			case ANYCOMPATIBLERANGEOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_anyc_actuals.anyrange_type,
								   -1,
								   0);
				/* 范围类型不应附加排序规则 */
				break;
			case ANYCOMPATIBLEMULTIRANGEOID:
				TupleDescInitEntry(fc_tupdesc, fc_i + 1,
								   NameStr(fc_att->attname),
								   fc_anyc_actuals.anymultirange_type,
								   -1,
								   0);
				/* 多范围类型不应附加排序规则 */
				break;
			default:
				break;
		}
	}

	return true;
}

/*
 * 根据函数声明的参数类型和模式，替换 argtypes[] 中
 * 的任何多态类型（ANYELEMENT 等），用从 call_expr
 * 中找到的输入参数推断出的具体数据类型。
 *
 * 如果能够推断出所有类型，则返回 true；如果所需信息
 * 未提供（call_expr 为 NULL 或参数类型无法识别），
 * 则返回 false。
 *
 * 这与 resolve_polymorphic_tupdesc 采用的逻辑相同，但具有
 * 不同的参数表示方式，输出责任略有不同。
 *
 * argmodes 可以为 NULL，在这种情况下，假设所有参数均
 * 为 IN 模式。
 */
bool resolve_polymorphic_argtypes(int fc_numargs, Oid *fc_argtypes, char *fc_argmodes,
							 Node *fc_call_expr)
{
	bool		fc_have_polymorphic_result = false;
	bool		fc_have_anyelement_result = false;
	bool		fc_have_anyarray_result = false;
	bool		fc_have_anyrange_result = false;
	bool		fc_have_anymultirange_result = false;
	bool		fc_have_anycompatible_result = false;
	bool		fc_have_anycompatible_array_result = false;
	bool		fc_have_anycompatible_range_result = false;
	bool		fc_have_anycompatible_multirange_result = false;
	polymorphic_actuals fc_poly_actuals;
	polymorphic_actuals fc_anyc_actuals;
	int			fc_inargno;
	int			fc_i;

	/*
	 * 第一遍：解决多态输入，检查输出。与
	 * resolve_polymorphic_tupdesc 一样，我们依赖解析器
	 * 来强制执行类型一致性并将 ANYCOMPATIBLE 参数强制转为
	 * 共同的超类型。
	 */
	memset(&fc_poly_actuals, 0, sizeof(fc_poly_actuals));
	memset(&fc_anyc_actuals, 0, sizeof(fc_anyc_actuals));
	fc_inargno = 0;
	for (fc_i = 0; fc_i < fc_numargs; fc_i++)
	{
		char		fc_argmode = fc_argmodes ? fc_argmodes[fc_i] : PROARGMODE_IN;

		switch (fc_argtypes[fc_i])
		{
			case ANYELEMENTOID:
			case ANYNONARRAYOID:
			case ANYENUMOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anyelement_result = true;
				}
				else
				{
					if (!OidIsValid(fc_poly_actuals.anyelement_type))
					{
						fc_poly_actuals.anyelement_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_poly_actuals.anyelement_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_poly_actuals.anyelement_type;
				}
				break;
			case ANYARRAYOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anyarray_result = true;
				}
				else
				{
					if (!OidIsValid(fc_poly_actuals.anyarray_type))
					{
						fc_poly_actuals.anyarray_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_poly_actuals.anyarray_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_poly_actuals.anyarray_type;
				}
				break;
			case ANYRANGEOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anyrange_result = true;
				}
				else
				{
					if (!OidIsValid(fc_poly_actuals.anyrange_type))
					{
						fc_poly_actuals.anyrange_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_poly_actuals.anyrange_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_poly_actuals.anyrange_type;
				}
				break;
			case ANYMULTIRANGEOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anymultirange_result = true;
				}
				else
				{
					if (!OidIsValid(fc_poly_actuals.anymultirange_type))
					{
						fc_poly_actuals.anymultirange_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_poly_actuals.anymultirange_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_poly_actuals.anymultirange_type;
				}
				break;
			case ANYCOMPATIBLEOID:
			case ANYCOMPATIBLENONARRAYOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anycompatible_result = true;
				}
				else
				{
					if (!OidIsValid(fc_anyc_actuals.anyelement_type))
					{
						fc_anyc_actuals.anyelement_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_anyc_actuals.anyelement_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_anyc_actuals.anyelement_type;
				}
				break;
			case ANYCOMPATIBLEARRAYOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anycompatible_array_result = true;
				}
				else
				{
					if (!OidIsValid(fc_anyc_actuals.anyarray_type))
					{
						fc_anyc_actuals.anyarray_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_anyc_actuals.anyarray_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_anyc_actuals.anyarray_type;
				}
				break;
			case ANYCOMPATIBLERANGEOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anycompatible_range_result = true;
				}
				else
				{
					if (!OidIsValid(fc_anyc_actuals.anyrange_type))
					{
						fc_anyc_actuals.anyrange_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_anyc_actuals.anyrange_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_anyc_actuals.anyrange_type;
				}
				break;
			case ANYCOMPATIBLEMULTIRANGEOID:
				if (fc_argmode == PROARGMODE_OUT || fc_argmode == PROARGMODE_TABLE)
				{
					fc_have_polymorphic_result = true;
					fc_have_anycompatible_multirange_result = true;
				}
				else
				{
					if (!OidIsValid(fc_anyc_actuals.anymultirange_type))
					{
						fc_anyc_actuals.anymultirange_type =
							get_call_expr_argtype(fc_call_expr, fc_inargno);
						if (!OidIsValid(fc_anyc_actuals.anymultirange_type))
							return false;
					}
					fc_argtypes[fc_i] = fc_anyc_actuals.anymultirange_type;
				}
				break;
			default:
				break;
		}
		if (fc_argmode != PROARGMODE_OUT && fc_argmode != PROARGMODE_TABLE)
			fc_inargno++;
	}

	/* 完成？ */
	if (!fc_have_polymorphic_result)
		return true;

	/* 如果需要，从其他多态类型推断出一种多态类型 */
	if (fc_have_anyelement_result && !OidIsValid(fc_poly_actuals.anyelement_type))
		fc_resolve_anyelement_from_others(&fc_poly_actuals);

	if (fc_have_anyarray_result && !OidIsValid(fc_poly_actuals.anyarray_type))
		fc_resolve_anyarray_from_others(&fc_poly_actuals);

	if (fc_have_anyrange_result && !OidIsValid(fc_poly_actuals.anyrange_type))
		fc_resolve_anyrange_from_others(&fc_poly_actuals);

	if (fc_have_anymultirange_result && !OidIsValid(fc_poly_actuals.anymultirange_type))
		fc_resolve_anymultirange_from_others(&fc_poly_actuals);

	if (fc_have_anycompatible_result && !OidIsValid(fc_anyc_actuals.anyelement_type))
		fc_resolve_anyelement_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_array_result && !OidIsValid(fc_anyc_actuals.anyarray_type))
		fc_resolve_anyarray_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_range_result && !OidIsValid(fc_anyc_actuals.anyrange_type))
		fc_resolve_anyrange_from_others(&fc_anyc_actuals);

	if (fc_have_anycompatible_multirange_result && !OidIsValid(fc_anyc_actuals.anymultirange_type))
		fc_resolve_anymultirange_from_others(&fc_anyc_actuals);

	/* 最后根据需要替换输出列类型 */
	for (fc_i = 0; fc_i < fc_numargs; fc_i++)
	{
		switch (fc_argtypes[fc_i])
		{
			case ANYELEMENTOID:
			case ANYNONARRAYOID:
			case ANYENUMOID:
				fc_argtypes[fc_i] = fc_poly_actuals.anyelement_type;
				break;
			case ANYARRAYOID:
				fc_argtypes[fc_i] = fc_poly_actuals.anyarray_type;
				break;
			case ANYRANGEOID:
				fc_argtypes[fc_i] = fc_poly_actuals.anyrange_type;
				break;
			case ANYMULTIRANGEOID:
				fc_argtypes[fc_i] = fc_poly_actuals.anymultirange_type;
				break;
			case ANYCOMPATIBLEOID:
			case ANYCOMPATIBLENONARRAYOID:
				fc_argtypes[fc_i] = fc_anyc_actuals.anyelement_type;
				break;
			case ANYCOMPATIBLEARRAYOID:
				fc_argtypes[fc_i] = fc_anyc_actuals.anyarray_type;
				break;
			case ANYCOMPATIBLERANGEOID:
				fc_argtypes[fc_i] = fc_anyc_actuals.anyrange_type;
				break;
			case ANYCOMPATIBLEMULTIRANGEOID:
				fc_argtypes[fc_i] = fc_anyc_actuals.anymultirange_type;
				break;
			default:
				break;
		}
	}

	return true;
}

/*
 * get_type_func_class
 *		给定类型 OID，获取其 TYPEFUNC 分类。
 *		此外，如果它是一个域，返回基础类型 OID。
 *
 * 这旨在集中管理一系列以前的非特定代码用于
 * 分类类型。这里使用的类别对于决定如何处理返回数据
 * 类型的函数非常有用。
 */
static TypeFuncClass
get_type_func_class(Oid fc_typid, Oid *fc_base_typeid)
{
	*fc_base_typeid = fc_typid;

	switch (get_typtype(fc_typid))
	{
		case TYPTYPE_COMPOSITE:
			return TYPEFUNC_COMPOSITE;
		case TYPTYPE_BASE:
		case TYPTYPE_ENUM:
		case TYPTYPE_RANGE:
		case TYPTYPE_MULTIRANGE:
			return TYPEFUNC_SCALAR;
		case TYPTYPE_DOMAIN:
			*fc_base_typeid = fc_typid = getBaseType(fc_typid);
			if (get_typtype(fc_typid) == TYPTYPE_COMPOSITE)
				return TYPEFUNC_COMPOSITE_DOMAIN;
			else				/* 域基础类型不能是伪类型 */
				return TYPEFUNC_SCALAR;
		case TYPTYPE_PSEUDO:
			if (fc_typid == RECORDOID)
				return TYPEFUNC_RECORD;

			/*
			 * 我们将 VOID 和 CSTRING 视为合法的标量数据类型，
			 * 主要是为了 JDBC 驱动程序的便利（该驱动程序希望
			 * 能够对所有合法的用户可调用函数执行 “SELECT * FROM foo()”）。
			 */
			if (fc_typid == VOIDOID || fc_typid == CSTRINGOID)
				return TYPEFUNC_SCALAR;
			return TYPEFUNC_OTHER;
	}
	/* 不应该到达这里，可能 */
	return TYPEFUNC_OTHER;
}


/*
 * get_func_arg_info
 *
 * 从 pg_proc 元组中获取有关参数类型、名称和 IN/OUT 模式的信息。
 * 返回值是参数的总数。
 * 其他结果是 palloc'd。*p_argtypes 始终填充，但
 * *p_argnames 和 *p_argmodes 在默认情况下将设置为 NULL
 * （没有名称，且所有参数均为 IN）。
 *
 * 请注意，此函数仅获取 pg_proc 元组中的内容；
 * 它不对多态类型进行任何解释。
 */
int get_func_arg_info(HeapTuple fc_procTup,
				  Oid **fc_p_argtypes, char ***fc_p_argnames, char **fc_p_argmodes)
{
	Form_pg_proc fc_procStruct = (Form_pg_proc) GETSTRUCT(fc_procTup);
	Datum		fc_proallargtypes;
	Datum		fc_proargmodes;
	Datum		fc_proargnames;
	bool		fc_isNull;
	ArrayType  *fc_arr;
	int			fc_numargs;
	Datum	   *fc_elems;
	int			fc_nelems;
	int			fc_i;

	/* 首先发现参数的总数并获取其类型 */
	fc_proallargtypes = SysCacheGetAttr(PROCOID, fc_procTup,
									 Anum_pg_proc_proallargtypes,
									 &fc_isNull);
	if (!fc_isNull)
	{
		/*
		 * 我们期望数组是正确类型的 1-D 数组；验证
		 * 这一点。对于 OID 和字符数组，我们不需要使用
		 * deconstruct_array()，因为数组数据看起来就像
		 * C 的值数组。
		 */
		fc_arr = DatumGetArrayTypeP(fc_proallargtypes);	/* 确保未被压缩 */
		fc_numargs = ARR_DIMS(fc_arr)[0];
		if (ARR_NDIM(fc_arr) != 1 ||
			fc_numargs < 0 ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != OIDOID)
			elog(ERROR, "proallargtypes is not a 1-D Oid array or it contains nulls");
		Assert(fc_numargs >= fc_procStruct->pronargs);
		*fc_p_argtypes = (Oid *) palloc(fc_numargs * sizeof(Oid));
		memcpy(*fc_p_argtypes, ARR_DATA_PTR(fc_arr),
			   fc_numargs * sizeof(Oid));
	}
	else
	{
		/* 如果没有 proallargtypes，使用 proargtypes */
		fc_numargs = fc_procStruct->proargtypes.dim1;
		Assert(fc_numargs == fc_procStruct->pronargs);
		*fc_p_argtypes = (Oid *) palloc(fc_numargs * sizeof(Oid));
		memcpy(*fc_p_argtypes, fc_procStruct->proargtypes.values,
			   fc_numargs * sizeof(Oid));
	}

	/* 获取参数名称（如果可用） */
	fc_proargnames = SysCacheGetAttr(PROCOID, fc_procTup,
								  Anum_pg_proc_proargnames,
								  &fc_isNull);
	if (fc_isNull)
		*fc_p_argnames = NULL;
	else
	{
		deconstruct_array(DatumGetArrayTypeP(fc_proargnames),
						  TEXTOID, -1, false, TYPALIGN_INT,
						  &fc_elems, NULL, &fc_nelems);
		if (fc_nelems != fc_numargs)	/* 不应该发生 */
			elog(ERROR, "proargnames must have the same number of elements as the function has arguments");
		*fc_p_argnames = (char **) palloc(sizeof(char *) * fc_numargs);
		for (fc_i = 0; fc_i < fc_numargs; fc_i++)
			(*fc_p_argnames)[fc_i] = TextDatumGetCString(fc_elems[fc_i]);
	}

	/* 获取参数模式（如果可用） */
	fc_proargmodes = SysCacheGetAttr(PROCOID, fc_procTup,
								  Anum_pg_proc_proargmodes,
								  &fc_isNull);
	if (fc_isNull)
		*fc_p_argmodes = NULL;
	else
	{
		fc_arr = DatumGetArrayTypeP(fc_proargmodes);	/* 确保未被压缩 */
		if (ARR_NDIM(fc_arr) != 1 ||
			ARR_DIMS(fc_arr)[0] != fc_numargs ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != CHAROID)
			elog(ERROR, "proargmodes is not a 1-D char array of length %d or it contains nulls",
				 fc_numargs);
		*fc_p_argmodes = (char *) palloc(fc_numargs * sizeof(char));
		memcpy(*fc_p_argmodes, ARR_DATA_PTR(fc_arr),
			   fc_numargs * sizeof(char));
	}

	return fc_numargs;
}

/*
 * get_func_trftypes
 *
 * 返回函数使用的转化类型数量。
 * 如果有，则返回一个 palloc'd 类型 OID 的数组
 * 到 *p_trftypes。
 */
int get_func_trftypes(HeapTuple fc_procTup,
				  Oid **fc_p_trftypes)
{
	Datum		fc_protrftypes;
	ArrayType  *fc_arr;
	int			fc_nelems;
	bool		fc_isNull;

	fc_protrftypes = SysCacheGetAttr(PROCOID, fc_procTup,
								  Anum_pg_proc_protrftypes,
								  &fc_isNull);
	if (!fc_isNull)
	{
		/*
		 * 我们期望数组是正确类型的 1-D 数组；验证
		 * 这一点。对于 OID 和字符数组，我们不需要使用
		 * deconstruct_array()，因为数组数据看起来就像
		 * C 的值数组。
		 */
		fc_arr = DatumGetArrayTypeP(fc_protrftypes);	/* 确保未被压缩 */
		fc_nelems = ARR_DIMS(fc_arr)[0];
		if (ARR_NDIM(fc_arr) != 1 ||
			fc_nelems < 0 ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != OIDOID)
			elog(ERROR, "protrftypes is not a 1-D Oid array or it contains nulls");
		*fc_p_trftypes = (Oid *) palloc(fc_nelems * sizeof(Oid));
		memcpy(*fc_p_trftypes, ARR_DATA_PTR(fc_arr),
			   fc_nelems * sizeof(Oid));

		return fc_nelems;
	}
	else
		return 0;
}

/*
 * get_func_input_arg_names
 *
 * 提取输入参数的名称，仅限于给定函数的
 * proargnames 和 proargmodes 项在 Datum 格式。
 *
 * 返回输入参数的数量，即返回到 *arg_names 的 palloc'd 
 * 数组的长度。未命名参数的条目设置为 NULL。
 * 如果 proargnames 为 NULL，则不会返回任何内容。
 */
int get_func_input_arg_names(Datum fc_proargnames, Datum fc_proargmodes,
						 char ***fc_arg_names)
{
	ArrayType  *fc_arr;
	int			fc_numargs;
	Datum	   *fc_argnames;
	char	   *fc_argmodes;
	char	  **fc_inargnames;
	int			fc_numinargs;
	int			fc_i;

	/* 如果 proargnames 为 null，则不执行任何操作 */
	if (fc_proargnames == PointerGetDatum(NULL))
	{
		*fc_arg_names = NULL;
		return 0;
	}

	/*
	 * 我们期望数组是正确类型的 1-D 数组；验证这一点。
	 * 对于 proargmodes，我们不需要使用 deconstruct_array()
	 * 因为数组数据看起来就像 C 的值数组。
	 */
	fc_arr = DatumGetArrayTypeP(fc_proargnames);	/* 确保未被压缩 */
	if (ARR_NDIM(fc_arr) != 1 ||
		ARR_HASNULL(fc_arr) ||
		ARR_ELEMTYPE(fc_arr) != TEXTOID)
		elog(ERROR, "proargnames is not a 1-D text array or it contains nulls");
	deconstruct_array(fc_arr, TEXTOID, -1, false, TYPALIGN_INT,
					  &fc_argnames, NULL, &fc_numargs);
	if (fc_proargmodes != PointerGetDatum(NULL))
	{
		fc_arr = DatumGetArrayTypeP(fc_proargmodes);	/* 确保未被压缩 */
		if (ARR_NDIM(fc_arr) != 1 ||
			ARR_DIMS(fc_arr)[0] != fc_numargs ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != CHAROID)
			elog(ERROR, "proargmodes is not a 1-D char array of length %d or it contains nulls",
				 fc_numargs);
		fc_argmodes = (char *) ARR_DATA_PTR(fc_arr);
	}
	else
		fc_argmodes = NULL;

	/* 零个元素的情况可能不应发生，但处理它时要优雅 */
	if (fc_numargs <= 0)
	{
		*fc_arg_names = NULL;
		return 0;
	}

	/* 提取输入参数名称 */
	fc_inargnames = (char **) palloc(fc_numargs * sizeof(char *));
	fc_numinargs = 0;
	for (fc_i = 0; fc_i < fc_numargs; fc_i++)
	{
		if (fc_argmodes == NULL ||
			fc_argmodes[fc_i] == PROARGMODE_IN ||
			fc_argmodes[fc_i] == PROARGMODE_INOUT ||
			fc_argmodes[fc_i] == PROARGMODE_VARIADIC)
		{
			char	   *fc_pname = TextDatumGetCString(fc_argnames[fc_i]);

			if (fc_pname[0] != '\0')
				fc_inargnames[fc_numinargs] = fc_pname;
			else
				fc_inargnames[fc_numinargs] = NULL;
			fc_numinargs++;
		}
	}

	*fc_arg_names = fc_inargnames;
	return fc_numinargs;
}


/*
 * get_func_result_name
 *
 * 如果函数恰好有一个输出参数，并且该参数
 * 被命名，则返回名称（作为 palloc'd 字符串）。
 * 否则返回 NULL。
 *
 * 这用于确定返回标量类型的函数的默认输出列名称。
 */
char * get_func_result_name(Oid fc_functionId)
{
	char	   *fc_result;
	HeapTuple	fc_procTuple;
	Datum		fc_proargmodes;
	Datum		fc_proargnames;
	bool		fc_isnull;
	ArrayType  *fc_arr;
	int			fc_numargs;
	char	   *fc_argmodes;
	Datum	   *fc_argnames;
	int			fc_numoutargs;
	int			fc_nargnames;
	int			fc_i;

	/* 首先获取函数的 pg_proc 行 */
	fc_procTuple = SearchSysCache1(PROCOID, ObjectIdGetDatum(fc_functionId));
	if (!HeapTupleIsValid(fc_procTuple))
		elog(ERROR, "cache lookup failed for function %u", fc_functionId);

	/* 如果没有命名的 OUT 参数，则返回 NULL */
	if (heap_attisnull(fc_procTuple, Anum_pg_proc_proargmodes, NULL) ||
		heap_attisnull(fc_procTuple, Anum_pg_proc_proargnames, NULL))
		fc_result = NULL;
	else
	{
		/* 从元组中获取数据 */
		fc_proargmodes = SysCacheGetAttr(PROCOID, fc_procTuple,
									  Anum_pg_proc_proargmodes,
									  &fc_isnull);
		Assert(!fc_isnull);
		fc_proargnames = SysCacheGetAttr(PROCOID, fc_procTuple,
									  Anum_pg_proc_proargnames,
									  &fc_isnull);
		Assert(!fc_isnull);

		/*
		 * 我们期望数组是正确类型的 1-D 数组；验证
		 * 这一点。对于字符数组，我们不需要使用 deconstruct_array()
		 * 因为数组数据看起来就像 C 的值数组。
		 */
		fc_arr = DatumGetArrayTypeP(fc_proargmodes);	/* 确保未被压缩 */
		fc_numargs = ARR_DIMS(fc_arr)[0];
		if (ARR_NDIM(fc_arr) != 1 ||
			fc_numargs < 0 ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != CHAROID)
			elog(ERROR, "proargmodes is not a 1-D char array or it contains nulls");
		fc_argmodes = (char *) ARR_DATA_PTR(fc_arr);
		fc_arr = DatumGetArrayTypeP(fc_proargnames);	/* 确保未被压缩 */
		if (ARR_NDIM(fc_arr) != 1 ||
			ARR_DIMS(fc_arr)[0] != fc_numargs ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != TEXTOID)
			elog(ERROR, "proargnames is not a 1-D text array of length %d or it contains nulls",
				 fc_numargs);
		deconstruct_array(fc_arr, TEXTOID, -1, false, TYPALIGN_INT,
						  &fc_argnames, NULL, &fc_nargnames);
		Assert(fc_nargnames == fc_numargs);

		/* 扫描输出参数 */
		fc_result = NULL;
		fc_numoutargs = 0;
		for (fc_i = 0; fc_i < fc_numargs; fc_i++)
		{
			if (fc_argmodes[fc_i] == PROARGMODE_IN ||
				fc_argmodes[fc_i] == PROARGMODE_VARIADIC)
				continue;
			Assert(fc_argmodes[fc_i] == PROARGMODE_OUT ||
				   fc_argmodes[fc_i] == PROARGMODE_INOUT ||
				   fc_argmodes[fc_i] == PROARGMODE_TABLE);
			if (++fc_numoutargs > 1)
			{
				/* 多个输出参数，因此忘记它 */
				fc_result = NULL;
				break;
			}
			fc_result = TextDatumGetCString(fc_argnames[fc_i]);
			if (fc_result == NULL || fc_result[0] == '\0')
			{
				/* 参数未命名，因此忽略它 */
				fc_result = NULL;
				break;
			}
		}
	}

	ReleaseSysCache(fc_procTuple);

	return fc_result;
}


/*
 * build_function_result_tupdesc_t
 *
 * 给定一个函数的 pg_proc 行，为结果行类型返回一个元组描述符，
 * 如果函数没有 OUT 参数，则返回 NULL。
 *
 * 注意，这不会处理多态类型的解析；
 * 这是故意的。
 */
TupleDesc build_function_result_tupdesc_t(HeapTuple fc_procTuple)
{
	Form_pg_proc fc_procform = (Form_pg_proc) GETSTRUCT(fc_procTuple);
	Datum		fc_proallargtypes;
	Datum		fc_proargmodes;
	Datum		fc_proargnames;
	bool		fc_isnull;

	/* 如果函数未声明返回 RECORD，则返回 NULL */
	if (fc_procform->prorettype != RECORDOID)
		return NULL;

	/* 如果没有 OUT 参数，则返回 NULL */
	if (heap_attisnull(fc_procTuple, Anum_pg_proc_proallargtypes, NULL) ||
		heap_attisnull(fc_procTuple, Anum_pg_proc_proargmodes, NULL))
		return NULL;

	/* 从元组中获取数据 */
	fc_proallargtypes = SysCacheGetAttr(PROCOID, fc_procTuple,
									 Anum_pg_proc_proallargtypes,
									 &fc_isnull);
	Assert(!fc_isnull);
	fc_proargmodes = SysCacheGetAttr(PROCOID, fc_procTuple,
								  Anum_pg_proc_proargmodes,
								  &fc_isnull);
	Assert(!fc_isnull);
	fc_proargnames = SysCacheGetAttr(PROCOID, fc_procTuple,
								  Anum_pg_proc_proargnames,
								  &fc_isnull);
	if (fc_isnull)
		fc_proargnames = PointerGetDatum(NULL);	/* 只是为了确保 */

	return build_function_result_tupdesc_d(fc_procform->prokind,
										   fc_proallargtypes,
										   fc_proargmodes,
										   fc_proargnames);
}

/*
 * build_function_result_tupdesc_d
 *
 * 从 pg_proc 的 proallargtypes、proargmodes 和 proargnames 数组构建
 * RECORD 函数的元组描述符。 这是为了方便 ProcedureCreate，
 * 该操作需要在实际创建函数之前计算元组描述符。
 *
 * 对于函数（但不适用于过程），如果没有至少两个 OUT 或 INOUT 参数
 * 则返回 NULL。
 */
TupleDesc build_function_result_tupdesc_d(char fc_prokind,
								Datum fc_proallargtypes,
								Datum fc_proargmodes,
								Datum fc_proargnames)
{
	TupleDesc	fc_desc;
	ArrayType  *fc_arr;
	int			fc_numargs;
	Oid		   *fc_argtypes;
	char	   *fc_argmodes;
	Datum	   *fc_argnames = NULL;
	Oid		   *fc_outargtypes;
	char	  **fc_outargnames;
	int			fc_numoutargs;
	int			fc_nargnames;
	int			fc_i;

	/* 如果列为 NULL，则不能有输出参数 */
	if (fc_proallargtypes == PointerGetDatum(NULL) ||
		fc_proargmodes == PointerGetDatum(NULL))
		return NULL;

	/*
	 * 我们期望数组是1维的正确类型数组；验证这一点。
	 * 对于 OID 和字符数组，我们不需要使用 deconstruct_array()
	 * 因为数组数据看起来只是一个 C 值数组。
	 */
	fc_arr = DatumGetArrayTypeP(fc_proallargtypes);	/* 确保未被压缩 */
	fc_numargs = ARR_DIMS(fc_arr)[0];
	if (ARR_NDIM(fc_arr) != 1 ||
		fc_numargs < 0 ||
		ARR_HASNULL(fc_arr) ||
		ARR_ELEMTYPE(fc_arr) != OIDOID)
		elog(ERROR, "proallargtypes is not a 1-D Oid array or it contains nulls");
	fc_argtypes = (Oid *) ARR_DATA_PTR(fc_arr);
	fc_arr = DatumGetArrayTypeP(fc_proargmodes);	/* 确保未被压缩 */
	if (ARR_NDIM(fc_arr) != 1 ||
		ARR_DIMS(fc_arr)[0] != fc_numargs ||
		ARR_HASNULL(fc_arr) ||
		ARR_ELEMTYPE(fc_arr) != CHAROID)
		elog(ERROR, "proargmodes is not a 1-D char array of length %d or it contains nulls",
			 fc_numargs);
	fc_argmodes = (char *) ARR_DATA_PTR(fc_arr);
	if (fc_proargnames != PointerGetDatum(NULL))
	{
		fc_arr = DatumGetArrayTypeP(fc_proargnames);	/* 确保未被压缩 */
		if (ARR_NDIM(fc_arr) != 1 ||
			ARR_DIMS(fc_arr)[0] != fc_numargs ||
			ARR_HASNULL(fc_arr) ||
			ARR_ELEMTYPE(fc_arr) != TEXTOID)
			elog(ERROR, "proargnames is not a 1-D text array of length %d or it contains nulls",
				 fc_numargs);
		deconstruct_array(fc_arr, TEXTOID, -1, false, TYPALIGN_INT,
						  &fc_argnames, NULL, &fc_nargnames);
		Assert(fc_nargnames == fc_numargs);
	}

	/* 零个元素的情况可能不应发生，但处理它时要优雅 */
	if (fc_numargs <= 0)
		return NULL;

	/* 提取输出参数类型和名称 */
	fc_outargtypes = (Oid *) palloc(fc_numargs * sizeof(Oid));
	fc_outargnames = (char **) palloc(fc_numargs * sizeof(char *));
	fc_numoutargs = 0;
	for (fc_i = 0; fc_i < fc_numargs; fc_i++)
	{
		char	   *fc_pname;

		if (fc_argmodes[fc_i] == PROARGMODE_IN ||
			fc_argmodes[fc_i] == PROARGMODE_VARIADIC)
			continue;
		Assert(fc_argmodes[fc_i] == PROARGMODE_OUT ||
			   fc_argmodes[fc_i] == PROARGMODE_INOUT ||
			   fc_argmodes[fc_i] == PROARGMODE_TABLE);
		fc_outargtypes[fc_numoutargs] = fc_argtypes[fc_i];
		if (fc_argnames)
			fc_pname = TextDatumGetCString(fc_argnames[fc_i]);
		else
			fc_pname = NULL;
		if (fc_pname == NULL || fc_pname[0] == '\0')
		{
			/* 参数未命名，因此生成一个列名 */
			fc_pname = psprintf("column%d", fc_numoutargs + 1);
		}
		fc_outargnames[fc_numoutargs] = fc_pname;
		fc_numoutargs++;
	}

	/*
	 * 如果没有输出参数，或者只有一个，函数将不
	 * 返回元组。
	 */
	if (fc_numoutargs < 2 && fc_prokind != PROKIND_PROCEDURE)
		return NULL;

	fc_desc = CreateTemplateTupleDesc(fc_numoutargs);
	for (fc_i = 0; fc_i < fc_numoutargs; fc_i++)
	{
		TupleDescInitEntry(fc_desc, fc_i + 1,
						   fc_outargnames[fc_i],
						   fc_outargtypes[fc_i],
						   -1,
						   0);
	}

	return fc_desc;
}


/*
 * RelationNameGetTupleDesc
 *
 * 给定一个（可能被限定的）关系名称，构建一个 TupleDesc。
 *
 * 注意：虽然这按广告效果正常，但这很少是构建
 * 函数结果类型的最佳方式。 它仅为与现有用户编写的代码的
 * 向后兼容性而保留。
 */
TupleDesc RelationNameGetTupleDesc(const char *fc_relname)
{
	RangeVar   *fc_relvar;
	Relation	fc_rel;
	TupleDesc	fc_tupdesc;
	List	   *fc_relname_list;

	/* 打开关系并复制元组描述 */
	fc_relname_list = stringToQualifiedNameList(fc_relname);
	fc_relvar = makeRangeVarFromNameList(fc_relname_list);
	fc_rel = relation_openrv(fc_relvar, AccessShareLock);
	fc_tupdesc = CreateTupleDescCopy(RelationGetDescr(fc_rel));
	relation_close(fc_rel, AccessShareLock);

	return fc_tupdesc;
}

/*
 * TypeGetTupleDesc
 *
 * 给定一个类型 Oid，构建一个 TupleDesc。 （在大多数情况下，你应该
 * 使用 get_call_result_type 或它的一个兄弟，而不是这个
 * 例程，以便你可以处理 OUT 参数、RECORD 结果类型，
 * 和多态结果。）
 *
 * 如果类型是复合类型，*并且*提供了 colaliases 列表，*并且*
 * 列表的长度为 natts，使用别名而不是关系
 * attnames。（注意：这个用法已弃用，因为它可能导致
 * 创建不必要的临时记录类型。）
 *
 * 如果类型是基本类型，则需要一个单一项别名列表。
 */
TupleDesc TypeGetTupleDesc(Oid fc_typeoid, List *fc_colaliases)
{
	Oid			fc_base_typeoid;
	TypeFuncClass fc_functypclass = get_type_func_class(fc_typeoid, &fc_base_typeoid);
	TupleDesc	fc_tupdesc = NULL;

	/*
	 * 构建一个合适的元组描述符，表示输出行。 我们
	 * 故意在这里不支持 TYPEFUNC_COMPOSITE_DOMAIN，因为
	 * 传统上的此过时函数的调用者不太可能准备
	 * 应用域约束。
	 */
	if (fc_functypclass == TYPEFUNC_COMPOSITE)
	{
		/* 复合数据类型，例如表的行类型 */
		fc_tupdesc = lookup_rowtype_tupdesc_copy(fc_base_typeoid, -1);

		if (fc_colaliases != NIL)
		{
			int			fc_natts = fc_tupdesc->natts;
			int			fc_varattno;

			/* 列表长度是否与属性数量匹配？ */
			if (list_length(fc_colaliases) != fc_natts)
				ereport(ERROR,
						(errcode(ERRCODE_DATATYPE_MISMATCH),
						 errmsg("number of aliases does not match number of columns")));

			/* 好的，使用别名而不是 */
			for (fc_varattno = 0; fc_varattno < fc_natts; fc_varattno++)
			{
				char	   *fc_label = strVal(list_nth(fc_colaliases, fc_varattno));
				Form_pg_attribute fc_attr = TupleDescAttr(fc_tupdesc, fc_varattno);

				if (fc_label != NULL)
					namestrcpy(&(fc_attr->attname), fc_label);
			}

			/* 元组类型现在是一个匿名记录类型 */
			fc_tupdesc->tdtypeid = RECORDOID;
			fc_tupdesc->tdtypmod = -1;
		}
	}
	else if (fc_functypclass == TYPEFUNC_SCALAR)
	{
		/* 基本数据类型，即标量 */
		char	   *fc_attname;

		/* 对于基本类型，别名列表是必需的 */
		if (fc_colaliases == NIL)
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("no column alias was provided")));

		/* 别名列表的长度必须为 1 */
		if (list_length(fc_colaliases) != 1)
			ereport(ERROR,
					(errcode(ERRCODE_DATATYPE_MISMATCH),
					 errmsg("number of aliases does not match number of columns")));

		/* 好的，获取列别名 */
		fc_attname = strVal(linitial(fc_colaliases));

		fc_tupdesc = CreateTemplateTupleDesc(1);
		TupleDescInitEntry(fc_tupdesc,
						   (AttrNumber) 1,
						   fc_attname,
						   fc_typeoid,
						   -1,
						   0);
	}
	else if (fc_functypclass == TYPEFUNC_RECORD)
	{
		/* XXX 不能支持，因为未传入 typmod... */
		ereport(ERROR,
				(errcode(ERRCODE_DATATYPE_MISMATCH),
				 errmsg("could not determine row description for function returning record")));
	}
	else
	{
		/* 糟糕的错误信息，但解析器应该能捕获到这一点 */
		elog(ERROR, "function in FROM has unsupported return type");
	}

	return fc_tupdesc;
}

/*
 * extract_variadic_args
 *
 * 为执行 VARIADIC 调用的给定输入函数提取一组参数值、
 * 类型和 NULL 标志，其中参数列表取决于调用上下文。
 * 在进行 VARIADIC 调用时，调用者提供了一个由值数组构成的参数，
 * 因此在使用它进行下一步处理之前先解构数组数据。
 * 如果未使用 VARIADIC 调用，只需根据调用者提供的所有参数填写
 * 状态数据。
 *
 * 此函数返回生成的参数数量，如果是“VARIADIC NULL”，则返回 -1。
 */
int extract_variadic_args(FunctionCallInfo fcinfo, int fc_variadic_start,
					  bool fc_convert_unknown, Datum **fc_args, Oid **fc_types,
					  bool **fc_nulls)
{
	bool		fc_variadic = get_fn_expr_variadic(fcinfo->flinfo);
	Datum	   *fc_args_res;
	bool	   *fc_nulls_res;
	Oid		   *fc_types_res;
	int			fc_nargs,
				fc_i;

	*fc_args = NULL;
	*fc_types = NULL;
	*fc_nulls = NULL;

	if (fc_variadic)
	{
		ArrayType  *fc_array_in;
		Oid			fc_element_type;
		bool		fc_typbyval;
		char		fc_typalign;
		int16		fc_typlen;

		Assert(PG_NARGS() == fc_variadic_start + 1);

		if (PG_ARGISNULL(fc_variadic_start))
			return -1;

		fc_array_in = PG_GETARG_ARRAYTYPE_P(fc_variadic_start);
		fc_element_type = ARR_ELEMTYPE(fc_array_in);

		get_typlenbyvalalign(fc_element_type,
							 &fc_typlen, &fc_typbyval, &fc_typalign);
		deconstruct_array(fc_array_in, fc_element_type, fc_typlen, fc_typbyval,
						  fc_typalign, &fc_args_res, &fc_nulls_res,
						  &fc_nargs);

		/* 数组的所有元素具有相同类型 */
		fc_types_res = (Oid *) palloc0(fc_nargs * sizeof(Oid));
		for (fc_i = 0; fc_i < fc_nargs; fc_i++)
			fc_types_res[fc_i] = fc_element_type;
	}
	else
	{
		fc_nargs = PG_NARGS() - fc_variadic_start;
		Assert(fc_nargs > 0);
		fc_nulls_res = (bool *) palloc0(fc_nargs * sizeof(bool));
		fc_args_res = (Datum *) palloc0(fc_nargs * sizeof(Datum));
		fc_types_res = (Oid *) palloc0(fc_nargs * sizeof(Oid));

		for (fc_i = 0; fc_i < fc_nargs; fc_i++)
		{
			fc_nulls_res[fc_i] = PG_ARGISNULL(fc_i + fc_variadic_start);
			fc_types_res[fc_i] = get_fn_expr_argtype(fcinfo->flinfo,
											   fc_i + fc_variadic_start);

			/*
			 * 将一个类型未知的常量（或多或少是字面值）
			 * 转换为文本（如果需要）。 未知值作为 cstring
			 * 指针传入。 注意：对于声明为接受类型“any”的函数，
			 * 解析器不会对类型未知的字面量进行任何类型转换
			 * （即，没有装饰的字符串或 NULL）。
			 */
			if (fc_convert_unknown &&
				fc_types_res[fc_i] == UNKNOWNOID &&
				get_fn_expr_arg_stable(fcinfo->flinfo, fc_i + fc_variadic_start))
			{
				fc_types_res[fc_i] = TEXTOID;

				if (PG_ARGISNULL(fc_i + fc_variadic_start))
					fc_args_res[fc_i] = (Datum) 0;
				else
					fc_args_res[fc_i] =
						CStringGetTextDatum(PG_GETARG_POINTER(fc_i + fc_variadic_start));
			}
			else
			{
				/* 不需要转换，仅按给定的数据项处理 */
				fc_args_res[fc_i] = PG_GETARG_DATUM(fc_i + fc_variadic_start);
			}

			if (!OidIsValid(fc_types_res[fc_i]) ||
				(fc_convert_unknown && fc_types_res[fc_i] == UNKNOWNOID))
				ereport(ERROR,
						(errcode(ERRCODE_INVALID_PARAMETER_VALUE),
						 errmsg("could not determine data type for argument %d",
								fc_i + 1)));
		}
	}

	/* 填充结果 */
	*fc_args = fc_args_res;
	*fc_nulls = fc_nulls_res;
	*fc_types = fc_types_res;

	return fc_nargs;
}
